Imperative programming - PDFSEARCH.IO - Document Search Engine

Imperative programming
Results: 88

#	Item
31	Master-slave clocked RS flip-flop. 26 On Software, or the Persistence of Add to Reading List Source URL: www.brown.edu Language: English - Date: 2010-05-11 11:08:37 Programming language Programmer ENIAC Computer programming Computer Kathleen Antonelli Fortran Software Imperative programming Computing Software engineering Women in technology
32	C0 Reference: Principles of Imperative Computation Frank Pfenning August 21, 2014 Compiler revision 384 (updates since January 30, 2011) Add to Reading List Source URL: c0.typesafety.net Language: English - Date: 2015-01-09 10:27:25 C programming language Data types C++ Procedural programming languages Type theory C++ classes Struct C Pointer Computing Software engineering Computer programming
33	Coherent Reaction Jonathan Edwards MIT Computer Science and Artificial Intelligence Lab Abstract Add to Reading List Source URL: www.subtext-lang.org Language: English - Date: 2013-09-04 17:58:50 Computer programming Subtext Reactive programming Coherence Programming language Declarative programming Assignment Functional programming Imperative programming Software engineering Computing Programming paradigms
34	Hanspeter Mössenböck Object-Oriented Programming in Oberon-2 Second Edition Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2013-12-09 02:54:14 Programming paradigms Object-oriented programming Procedural programming languages Oberon-2 Oberon Object Pascal Modula-2 Imperative programming Software engineering Computing Computer programming
35	ADVANCED PROGRAMMING LANGUAGE DESIGN Raphael A. Finkel ❖ UNIVERSITY OF KENTUCKY Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:01:31 Programming paradigms Programming language Imperative programming Lisp Functional programming Ada Object-oriented programming TeX Formal language Software engineering Computing Computer programming
36	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming
37	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
38	Evjen ffirs V3Page iv ffirs.indd iv:46:50 PM Add to Reading List Source URL: blogs.wrox.com Language: English - Date: 2013-05-01 18:40:40 Windows Workflow Foundation Extensible Application Markup Language C Sharp Microsoft Silverlight Imperative programming Computing Software .NET framework
39	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
40	C PROGRAMMING TUTORIAL http://www.tuto rialspo int.co m/cpro g ramming /inde x.htm Co pyrig ht © tuto rials po int.co m T he C is a g eneral-purpose, procedural, imperative computer prog ramming lang uag e developed in Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2014-05-24 08:46:20 Naval ram Ramming